'a => 'b => 'c
